Данное исследование направлено на создание логического искусственного интеллекта и его применение в различных предметных областях. Предложено развитие миварной теории путем перехода от формализма «правила – переменные» ...